Merge pull request #511 from soby-mathew/sm/psci_on_race_v2
authordanh-arm <[email protected]>
Mon, 1 Feb 2016 19:10:02 +0000 (19:10 +0000)
committerdanh-arm <[email protected]>
Mon, 1 Feb 2016 19:10:02 +0000 (19:10 +0000)
Fix PSCI CPU ON race when setting state to ON_PENDING


Trivial merge